61. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
پدیدآورنده : sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
62. Computational intelligence and intelligent systems :
پدیدآورنده : Kangshun Li, Wei Li, Zhangxing Chen, Yong Liu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Expert systems (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computational intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems (Computer science),Network hardware.
رده :
Q342
63. Computational intelligence and its applications :
پدیدآورنده : edited by Abdelmalek Amine, Malek Mouhoub, Otmane Ait Mohamed, Bachir Djebbar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computer science, Congresses.,Algorithms & data structures.,Algorithms.,Application software.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computer networks.,Computer science.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Data mining.,Information technology: general issues.,Network hardware.
رده :
QA75
.
5
.
I45
2018
64. Computational intelligence in music, sound, art and design :
پدیدآورنده : Antonios Liapis, Juan Jesús Romero Cardalda, Anikó Ekárt (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer art, Congresses.,Computer music, Congresses.,Evolutionary programming (Computer science), Congresses.,Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer art.,Computer music.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- User Interfaces.,Evolutionary programming (Computer science),Graphics programming.,Natural computation.,User interface design & usability.
رده :
QA76
.
618
65. Computational logistics :
پدیدآورنده : Raffaele Cerulli, Andrea Raiconi, Stefan Voß (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business logistics-- Data processing, Congresses.,Information technology, Congresses.,Algorithm Analysis and Problem Complexity.,Computer Systems Organization and Communication Networks.,Numeric Computing.,Algorithms & data structures.,Business logistics-- Data processing.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Programming-- Algorithms.,Information technology.,Mathematical theory of computation.
رده :
HD38
.
5
66. Computational pathology and ophthalmic medical image analysis :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
67. Computer Simulation in Chemical Physics
پدیدآورنده : edited by M.P. Allen, D.J. Tildesley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry, Physical and theoretical -- Computer simulation -- Congresses.,Molecular dynamics -- Computer simulation -- Congresses.,Monte Carlo method -- Congresses.
68. Computer-aided scheduling of public transport
پدیدآورنده : Stefan Voss, Joachim R. Daduna (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bus lines -- Management -- Data processing -- Congresses.,Local transit -- Management -- Data processing -- Congresses.,Production scheduling -- Data processing -- Congresses.
رده :
HE4301
.
S744
2001
69. [Computer aided systems theory] [revised selected papers]
پدیدآورنده : [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
70. Computer applications to chemical engineering :
پدیدآورنده : Robert G. Squires, editor, G.V. Reklaitis, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemical process control, Congresses.
رده :
TP155
.
75
.
C65
71. Computer supported education :
پدیدآورنده : Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
72. Computing in civil engineering :
پدیدآورنده : sponsored by Technical Council on Computing and Information Technology of the American Society of Civil Engineers ; edited by Ioannis Brilakis, Ph.D., SangHyun Lee, Ph.D., Burcin Becerik-Gerber, DDes
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Civil engineering-- Data processing, Congresses,Computer-aided engineering, Congresses
رده :
TA345
.
A833
2013
73. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
74. Conceptual and Numerical Analysis of Data :
پدیدآورنده : edited by Otto Optiz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Content analysis (Communication) -- Congresses.,Mathematical statistics -- Congresses.,Statistics.
75. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 : proceedings
پدیدآورنده : Nachum Dershowitz, Naomi Lindenstrauss )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
968
76. Context-aware systems and applications, and nature of computation and communication :
پدیدآورنده : Phan Cong Vinh, Vangalur Alagar (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Context-aware computing, Congresses.,Context-aware computing.
رده :
QA76
.
5915
77. DNA computing and molecular programming :
پدیدآورنده : David Doty, Hendrik Dietz (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb
78. Data integration in the life sciences :
پدیدآورنده : Sören Auer, Maria-Esther Vidal (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bioinformatics, Congresses.,Data integration (Computer science), Congresses.,Medical informatics, Congresses.,Bioinformatics.,Data integration (Computer science),Medical informatics.
رده :
QA76
.
9
.
D338
79. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
80. Discrete algorithms and complexity : proceedings of the Japan-US joint Seminar, june 4-6, 1986, Kyoto, Japan
پدیدآورنده : edited by David S. Johnson...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Algorithms,Congresses ، Computational complexity
رده :
QA
76
.
6
.
J27
1987
